Une généralisation du théorème de Gleason-Kahane-Żelazko pour les algèbres de Banach

Hiérarchies de généralisation dans les bases de données relationnelles : une approche hybride de rétro-conception

This paper proposes to combine a heuristic technique and an algorithmic one to provide a method to reverse engineer the generalization/specialization links hidden in a relational database. The heuristic phase combines the exploration of three sources: DDL specifications, DML specifications and data to provide information, such as inclusion links and existence constraints. This information is th...

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Analyse de complexité pour un théorème de Hall sur les fractions continues

We give in this paper a polynomial time controlled version of a theorem of M. Hall : every real number can be written as the sum of two irrational numbers whose dfcs contain only 1, 2 3 or 4..

IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle de processus

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion de documents scientifiques de niveau r...

Sur une souche de Pasteurella agent d'abcès enzootiques du lapin